#include<stdio.h>
int main(){
    long long int a[30]={0};
    long long int k,sum=0;
    int i=1;
    while(scanf("%lld",&k)!=EOF){
        a[i]=k;
        i++;
        sum += k;
    }
    for (int j=1;j<=i-2;j++){
        sum*=2;
    }
    printf("%lld",sum);
}